card punch buffer - German English Dictionary